Analysis and Evaluation of Non-Markovian Stochastic Petri Nets
نویسندگان
چکیده
منابع مشابه
Recent Developments in Non-Markovian Stochastic Petri Nets
Analytical modeling plays a crucial role in the analysis and design of computer systems. Stochastic Petri Nets represent a powerful paradigm, widely used for such modeling in the context of dependability, performance and performability. Many structural and stochastic extensions have been proposed in recent years to increase their modeling power, or their capability to handle large systems. This...
متن کاملModeling and Performance Evaluation of Energy Consumption in S-MAC Protocol Using Generalized Stochastic Petri Nets
One of the features of wireless sensor networks is that the nodes in this network have limited power sources. Therefore, assessment of energy consumption in these networks is very important. What has been common practice has been the use of traditional simulators to evaluate the energy consumption of the nodes in these networks. Simulators often have problems such as fluctuating output values i...
متن کاملTimeNET-a toolkit for evaluating non-Markovian stochastic Petri nets
This paper describes TimeNET (Timed Net Evaluation Tool), a software package for the modeling and evaluation of stochastic Petri nets with non-exponentially distributed firing times. TimeNET has been developed at the Technische Universität Berlin in several research projects. A graphical user interface is provided for the model specification and several specialized analysis and simulation compo...
متن کاملSpeciications and Solution Techniques for Non-markovian Stochastic Petri Nets
Allmost all the available tools for the analysis of Stochastic Petri Nets (SPN) assume that the stochastic nature of the problem is restricted to be a Continuous Time Markov Chain (CTMC), but in reality, there are instances in which the CTMC assumption is too weak. The evolution of the stochastic systems with non-exponential timing becomes a stochastic process, for which in general, no analytic...
متن کاملFormal approach on modeling and predicting of software system security: Stochastic petri net
To evaluate and predict component-based software security, a two-dimensional model of software security is proposed by Stochastic Petri Net in this paper. In this approach, the software security is modeled by graphical presentation ability of Petri nets, and the quantitative prediction is provided by the evaluation capability of Stochastic Petri Net and the computing power of Markov chain. Each...
متن کامل